Semi-exact control functionals from Sard’s method

نویسندگان

چکیده

Summary A novel control variate technique is proposed for the post-processing of Markov chain Monte Carlo output, based on both Stein’s method and an approach to numerical integration due Sard. The resulting estimators posterior expected quantities interest are proven be polynomially exact in Gaussian context, while empirical results suggest that approximate a cubature near Bernstein–von Mises limit. main theoretical result establishes bias-correction property settings where does not leave invariant. Empirical across selection Bayesian inference tasks presented.

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

n-Monotone exact functionals

We study n-monotone functionals, which constitute a generalisation of n-monotone set functions. We investigate their relation to the concepts of exactness and natural extension, which generalise coherence and natural extension in the behavioural theory of imprecise probabilities. We improve upon a number of results in the literature, and prove among other things a representation result for exac...

متن کامل

Lazy Functional Algorithms for Exact Real Functionals

We show how functional languages can be used to write programs for real-valued functionals in exact real arithmetic. We concentrate on two useful functionals: deenite integration, and the functional returning the maximum value of a continuous function over a closed interval. The algorithms are a practical application of a method, due to Berger, for computing quantiiers over streams. Correctness...

متن کامل

Semi-abelian Exact Completions

The theory of protomodular categories provides a simple and general context in which the basic theorems needed in homological algebra of groups, rings, Lie algebras and other non-abelian structures can be proved [2] [3] [4] [5] [6] [7] [9] [20]. An interesting aspect of the theory comes from the fact that there is a natural intrinsic notion of normal monomorphism [4]. Since any internal reflexi...

متن کامل

Exact real number computations relative to hereditarily total functionals

We show that the continuous existential quantifier ∃ω is not definable in Escardó’s Real-PCF from all functionals equivalent to a given total one in a uniform way. We further prove that relative to any total functional of type (I → I) → I which gives the maximum-value for any total input, we may, given a computable, total functional Φ of type (R → R) → R find a Real-PCF definable total Ψ equiva...

متن کامل

Exact Formulae for Variances of Functionals of Convex Hulls

The vertices of the convex hull of a uniform sample from the interior of a convex polygon are known to be concentrated close to the vertices of the polygon. Furthermore, the remaining area of the polygon outside of the convex hull is concentrated close to the vertices of the polygon. In order to see what happens in a corner of the polygon given by two adjacent edges, we consider—in view of affi...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Biometrika

سال: 2021

ISSN: ['0006-3444', '1464-3510']

DOI: https://doi.org/10.1093/biomet/asab036